Mathematics and Computer Science Elective Module Catalog

Module	Title	LV Type	CP	LV	Dates
Analysis of Time Series	Zeitreihenanalyse	Fach-/Modulprüfung	9	482244
	Zeitreihenanalyse + R Praktikum	Übung		481766	Mi 10:30-12:00 SG 513 (1810\|513) (×14)
	Zeitreihenanalyse	Vorlesung		481765	Di 16:30-18:00 H08 (1385\|219) (×14) Mi 16:30-18:00 AS (1050\|U101) (×13)
Efficient Algorithms	Effiziente Algorithmen	Fach-/Modulprüfung	6	477977
Embedded Systems	Einführung in eingebettete Systeme	Fach-/Modulprüfung	6	477537
	Einführung in eingebettete Systeme	Vorlesung/Übung		473387	Di 12:30-14:00 AH III (2350\|314.1) (×12) Do 12:30-14:00 AH III (2350\|314.1) (×10)
	Embedded Systems (International Academy)	Vorlesung/Übung		474003	Mo 14:30-16:00 AH III (2350\|314.1) (×10) Di 10:30-12:00 AH II (2350\|111) (×12)
Hierarchical Matrices	Hierarchische Matrizen	Fach-/Modulprüfung	9	478020
Mathematical Models in Science and Engineering (Part 2, PDEs)	Mathematische Modelle der Natur- und Ingenieurwissenschaften (PDEs)	Fach-/Modulprüfung	6	477824
	Mathematische Modelle der Natur- und Ingenieurwissenschaften (PDEs)	Vorlesung		479087	Di 10:30-12:00 1090\|328 (×13) Fr 12:30-14:00 1090\|328 (×13)
Model Checking	Model Checking	Fach-/Modulprüfung	6	477928
	Introduction to Model Checking	Übung		474235	Fr 12:30-14:00 AH II (2350\|111) (×13)
	Introduction to Model Checking	Vorlesung		474525	Mo 12:00-14:00 5055 (2356\|055) (×1) Mo 16:30-18:00 AH II (2350\|111) (×10) Di 18:30-20:00 AH III (2350\|314.1) (×12) Do 09:50-15:00 5052 (2356\|052) (×1)
Optimization A	Optimierung A	Fach-/Modulprüfung	9	476831
	Optimierung A	Vorlesung/Übung		472460	Di 08:30-10:00 III (1010\|107) (×12) Do 08:30-10:00 MAGMA-Hörsaal (H 218) (1390\|218) (×15)
	Optimierung A	Vorlesung/Übung		472460	Di 08:30-10:00 III (1010\|107) (×12) Do 08:30-10:00 MAGMA-Hörsaal (H 218) (1390\|218) (×15)
Software Quality Assurance	Software-Qualitätssicherung	Fach-/Modulprüfung	6	476636